fix filename in docs