A note on Gevrey regular KAM theory and the inverse approximation lemma