Update July 20, 2021


  1. Minor fixes.