A bugfix