Fix day 2012:324 problem with AOMANTIM; fixes #47