This is not directly related with this pull request. It will be fixed - I hope - for #243.