bugfix, related to #43