update docs to match the new filename