Code correction for pyDevm