fix minor bug in manifest