Ed: check if there is no error when writing the .nav