Bug corrected in formatter