small changes to make jenkins happy