bug#4