Issue #28: Minor fix.