Minor fix to help output