Fixed a few mistakes, related to ports...