fix #39: travis