Minor: unnecessary type arguments