Fixes Travis build #2