Minor fixes around doc and ignore list