Correcting bibdk_theme branch