Tiny fix so Proton now compiles... Huzzah for github's editor!