-- fixed erroneous pre-setting for mine_p