Should there be a default case here?