Another minor modification