Fix a typo that prevented the port to build