bugfix in rundev file