Bug fix #72: a state cannot be moved outside the window of the state diagram