Lexing of the doc options pragma was changed, but but no change was 
made to the parser to reflect that. This patch fixes this problem.

MERGE TO STABLE