minor improvements
files needed by travis CI