fix #243: repeatability again