Fix incorrect option in documentation