might have fixed a minor bug