Fix the previous commit to work on Linux32.  Add more comments.