more syntax fixes

Apparently, when I edited this lab earlier I probably did an unfortunate
replace all.