Fixed (another) problem in mul module. Cleaned up a few comments.