Bug fixes

Post launch, users submitted a few bugs. Most of them are fixed with the release.