Fix missing header in port