Smaller bugfix