Minor change

- Purely cosmetic