minor

Minor edit to make it compile