documentation fix (thanks @joeloverton!)