Support both @foo and @foo_ok tags in "ok mode"