fix one bit of #850