Minor edit to fix issue #125