Syntax rule definition minor bug fixed