Fix an @arg name in the documentation