Issue #11. Minor fix.