Bug in type specification.