Fix broken source

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