Fixes Travis build #3