haha, you're right. my brain parsed "4.12" as "4.1.2" for some reason