Small change to use a real type.