fixed type in options parsing for history, so now it compiles