very minor bug in integer mapping module