Fix an error (again) in Lemma Tag 04VA

Thanks to Wei Xu who spotted the error the first time too.