Make the ast printer a little nicer