copy/paste-induced syntax error; now actually tested