Fix issue #341 (github).

could you give this a more descriptive name? I do not actually understand what it does.