Code style nit