Minor bug fixes

Down in Bermuda · published · build 26312218

Minor bug fixes to keep Down in Bermuda running well.