Bugfix for auto-formatter.