Sorry, I could not yet fix this (see comment below).