small edits in 1.12