Minor cleanup on Jenkins integration