little fixes (thanks Pipit!)