fixed a (silly) bug