Fixes issue #1036

@arthurbenemann I did a copy and paste, and forgot to reformat after.