Bug fixes in manifester.c