Fix after @JensTimmerman merged in the PR, also updated the commit id in the README.