removed header$ and attribute$ list$: types to simplify code