Minor fix to compressed file