[ritchie] Fix file name.