Bug: loss of mousepointer