Updated prettyprint for misc section