some minor changes to the annotations