Fixed a formatter bug