Remove nonexistent option from docs.