Fixed syntax errors in antirandoms