Some minor fixes, caused by bad importation from wordpress.