Small change and doc improvement for gen-monster