Fix for 7256