remove prettyPrint argument
server side of user editing

why wasn't this committed, intellij?