minor change, fixes #308