fixed with old generator#17

nicod05 wants to merge 2 commits intomasterRAIRLab/bloxorz:masterfrom

yellow-large-finalRAIRLab/bloxorz:yellow-large-finalCopy head branch name to clipboard