TRIVIAL some esthetic changes for my previous commit