mysterious bugfix