slight output tweaks; darkstripes theme