fixed some pretty print stuff