README: accidentally deleted a line