Re-added line accidentally removed in previous commit