bug#42