Minor fixes to theme docs