Minor fix (fixes #12).