minore modifications