Slight rewording of explanations for GUI