Fixed bounds

The previous bounds allowed values which would fail. 
It has to hold that ini >= kj  and  inj >= ki which is guaranteed by the new bounds.