assumption bugfix