What does this @Bug mean?