Issue #24: designated instance fields as final where possible