Changed document name to fit Github convention (no major changes)