Bug fix.
[drlaunch] / sdist
2010-06-24 Stefanos Harhalakis(no commit message)