Improved comments in HAMMER.