Fixed a bug to test Jenkins