Minor fix. #12