fixes after jenkins duty

The spacing seems very strange