Very small code style cleanup