Tried to reproduce #549, but failed