fix for issue #405

Actually, just a wild guess that this will fix it.