A mistakenly deleted comment is reverted.