fix filename in documentation