Use correct type for example