Fix incorrect type usage; nice catch by Sebastian