Nitpick: please use a static_cast here