Fixing doc typos in Kernel.SpecialForms