More ast printing niceties