fix a problem with that last pull request