Corrected errors reported by Jenkins