Fix mistake in 66fa8e76a14b267a67fdd9f80946d554a42508b3