fix for bug#96