bugfix

this looks like a typo