syntax error for sanity checking