small edits on linux machine