correction made to the lemma on reversing kernel basis