Fix mysterious new rtyping error