oops, fix bug recently introduced