45937740
b1861c3e
* commit '4593774015ada7fb92f846fced136e487cd1e522': Minor fixes/clarifications for previous patch.