Yet another bug
Autoformatted source code