This repository is just a fork made in order to submit a pull request; please ignore.