small fix in navigation