fixes bug #439