Fixes tests on Jenkins.

Fixes builds on Jenkins and is also more correct ;)