Fix mistakes in Core docs