Fix embarassing error in the syntax exposition

also add it as an example file