Testing a bug