Fix bad syntax in docs.