Bug fix in manifester.c