check in the same R changes from master into rel-knuth