Minor changes. Trying to fix jenkins build.

...ins.