Quaternion rotation benchmark; small bugfix