A minor code style fix.