Fixed a bug in ABSTRIP...