Fix #178: focus now approximately the same after rotation.