Yeah, it does look like there's a bug in the registry code. I'm on it.