made navfix pretty