Fixes issue #1078: Typo in comment