Fix minor doc syntax error.