* Fix two bugs found by deja-gnu. One is the incorrect reporting