Update docs to use new filename