little fix in manifest generation