Issue #20: fix manifest