Fix erroneous name in annotation