corrected an error introduced in the last pull request