Minor code style change