Fixed pretty printer's upward scrolling bug, fixed package version, and minor style fixes