Accidentally introduced a few syntax errors in the last commit. They're fixed now.