Amend mapping_result.cpp