fix bugs in syntax-rules