Bug fixes in alaxos templates + NavbarsHelper