tiny bugfix for a big problem
minor