Minimized version of the bug