OPTIONS annotations added.