Fix op annotation docs