correct a small mistake