#3256 Still searching for the bug