Another attack of the auto-formatter