Fix bad annotation