Bug fixes

- Fixed some minor bugs after yesterday's big update. (See Github's
marked edits.)