Fix #165: junk in mapping stats file