fix dumb bug and update to 0.12