server: minor syntax changes