PrettyPrint line numbers