Little runtime bugfix