Style minor fix.