Remove duplicated line in Server.php

This addresses issue #91