fixed a bug in AType.get\!