Small formatting fix for 12.4 and finished Ex 12.5 (got kinda hairy)