Workaround in Pull Request #100.