Vertnav bugfix for syntax error