Address review comments.

compiler/options.m:
doc/user_guide.texi:
	Address review comments from Zoltan.