# Unregisterised HC packages are platform-dependent C sources. Yes,
# they are C sources but are totally non-portable. We have to create
-# more HC packages to support more platforms. Note that these packages
+# more HC packages to support more platforms. Note that those packages
# are built with integer-simple, not integer-gmp, to reduce some
# complexity by not depending on the GMP. The resulting registerised
# GHC uses integer-gmp so this won't be a problem.