Should these method params be marked as `final`?