Of course there was a bug (but not dangerous)