Changed documentation filename