bug in base_reduce