Minor fixes for gkt theme