input_history: Some more minor tweaks