Minor bugfixes to manifest