Fixed a wrong documentation reference (thanks @WouterJ)