propagating mannotations