small edits

testing whether I can actually remove files from git without standing on
my head :)