Fixed minor bug in bigbang VMM's get_mapping() function