Fixed some unfortunate post-release bugs.