another bugfix...