minor whitespace corrections

This commit is contained in:
Matthew Flatt 2020-03-13 11:32:16 -06:00
parent f1a177e880
commit c52d45613b