small fixes, and added encyclopedia index page