minor label fix in tex