More must be done on miners' pension fund