Trying to solve bug #3256