fix (#997)