Reproduction of a bug