Good catch. Fixing that now.

I also noticed a js error, but I think I'll fix that separately so we can get this merged.