a minor modification