Fix bug in bugfix