Bugfix: mouse coordinates were rounded