2.5.1.1: oops, fix manifest