Fix bug in the port.