Okay, I've added a new commit that does the trick.