minor edits to make file naming work