Small Manfred remark fixes