Thanks for the heads up! we'll put @scottruitt on the case of tracking down places where we've missed highlighting opportunities and where OK is out of place. In the meantime if you could grab this one as part of the pull request it'll be one less place we need to fix up.