fixes #15: ajax formatting bug