formatting nits, Jan 19 2013