fixes after jenkins duty

Some autoformatting, corrected.