Minor bug fix to ports