I think, in this case, fixing the example and changing to a more strict return type is OK. Go ahead.