bugfix (hopefully)