hopeful minor bugfix