Revert "Very minor change to test Jenkins hook"

This reverts commit f55675ce35e06cec85ca71bcc94bee28cd98e27f.