Minor edit (made a field final)