#244: found a bug