This annotation is useless, isn’t it?