Added bug #3259