Missing changes

I don't know what has happened with the Omlex repository, but it looks like some changes that were previously made are now lost. This PR fixes that.