update for bug#12