minor update due to feature request.
minor fixes; 'explicify' simplified.