Bug went away by itself (?????)