Minor modifications to mainpage documentation