True story: properly reporting a bug