mainpage: minor typo fix