replaced wrong module name.
added error tag to error message; allow the last body expression be an infix_expr.