annotation type options is now a sequence of strings