Small fix in server