Added semicolon after 'return' statement in the pretty printer
version bump