bug turned out not to be a bug