workaround relied on a bug ... and then the bug got fixed :)