minor edit to map inference specs
Added comments to methods and removed warnings