small but essential bugfix