[hibernate-dev] Minor changes to the website