Avoid an explicit cast