AutobahnJS proofreading