wow, travis works. fix #8