make typedef look nicer, with C++11 syntax.