Corrections of small bugs on paths and more implementation of the syntax
project