Fixes some outdated docs about Optional.