bugfix in sarek