A couple of doc fixes.