version bump for bugfix #19