Clang 3.4.2: small style fix