Cosmetic
Fixes #1333