This port no longer gets updates and is very inactive so it is unlikely any other changes will be occuring in the near future, so commit this minor change by itself.
