Fix bug.

I introduced a bug the last time I interacted with the server. This is now
fixed.