Some little helpers for C++11