Fixes issue #1036

Don't worry about it, next time I do a full source formatting it will be fixed.