2012-07-02 []
============
(i) minor stuff