Fix broken source

IntelliJ IDEA's copyright insertion decided to break our source-code. Nice one.