this resolves issue #2