Another small update

fixing an annotation