Code-formatting minor fix