There was a bug here!