Minor code style fix-up