Actually throw an error when a != b