Just convenience from my side, so that a reader of this code knows where this function comes from when he searches for its implementation. Should I take it out?