Fixed problem found by Jenkins