Fixed PrettyPrintSpec.js