pull request to correct #20 proposition