Fixed file name from documumentation file.