Friday, April 20, 2018

I checked in a few minor optimizations: