Ethernet shield design and implementation

I really do not understand how to reset circuit STM812 resets the W5100 with its Active HIGH reset output? W5100 requires active LOW reset!
STM811 is adequate IC for reset.