Another code style fix