#65: Fix doc mistake