Mention also bug #144.