update doc
hopefully one last attempt to fix travis