"bottom increment" => "decrement" in explanatory comment