Minor code styling tweak