weird error -- invalid type