Sorry if this is off topic, but wasn't these two static temporary `tmp` and `tmp2` supposed to be marked as deprecated?