Bug#3729