// report of pull request 737