Ok, perhaps for the moment you can just ignore this part, and when you finish the rest (but before merging) I will take a look and see if I can take care of it...