navigation and pretty print