Feature #954: Minor update.