Somehow I didn't get any notifications of your PR. Sorry about that. I'll take a look.