small possible bug in nvidia driver