Fix file names; amend readme