Minor code style fix