b1861c3e
* commit 'b1861c3e89c3e869c95c5c01b78320a1dcef26ad': Minor fixes/clarifications for previous patch.