polished some rules's syntax.