Minor fix (#51)