We should not need this comment in future