Minor fixes in index/header