Fixes #1509
Cosmetic, no functional changes