another fix of formatting