Bug fixed in tutorial-pbmap-construction