fix filename formatting issue