This should be final, set in the constructor