Fix file name in usage (problem5)