Fix whitespaces in IOS source port

Fixes #14.