Minor changes (doc and useless file removal)