Minor fix to let server work.