CLEAN: minor fixes to doc and utilities.