Fix a silly server bug.