Emergency fix for some bad syntax that snuck in.