hack to work around non-reproducible errors