BUG: failed attempt to fix this bug