fixed bug#4731