small possible bugfix