Corrected mistakenly committed typo in Ex. 12