CLEAN: minor cleanup.