another quick bugfix