Bugfix: Source formatting was broken