Little fix (#256)