Small corrections forgotten previously