A style fix for C++11