Documentation fix, pointed out by PJSeries, thanks!