Tiny bug in server