Fixed file name in user guide.