- revert to rev 1.7.  I didn't mean to check in the previous rev, but   I only noticed just now.
- revert to rev 1.7.  I didn't mean to check in the previous rev, but
  I only noticed just now.

marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet,marmolejo/bochs-zet