version 0.10: better treatment of imappings