Oh well ... didn't occur to me that the 1st of July was actually the end of the month! It matters not.