Minor terminal tweak