SkipRev: code cosmetics and fixes