Fix a warning. re #127