minor: correction to annotation format