work around until we find the real problem (bug 854505)