small fixes

(done with Rasmus)