small remark added