fixed some file name's in documentation