further edits
docker for travis, maybe?