nginx semicollons