HeaderDoc filename fix.