Some (very minor) fixes.