Slight code style fix