I believe the 20th actual business day starting with June 17 will be July 15. So the change would be July 16. Am I counting wrong?