fixes a syntax bug; #2