Cosmetic
Fix for #903