Fix a typo in the status for <optional>