geanylatex: Fix some sanity checks

They obviously are typos