Some minor bugs that were overlooked have been fixed.