Sigh... debugging the formatter