Fix documentation regarding the changed file names. Closes #3