disallow multiple optional annotations for #698