corrections to the Brazil timezone data