Fixed up a few small bugs in the syscall_server stuff