Fixes bugs that cause unexpected behavior, changes to some specifications, and other minor bugs