Remove unnecessary do invocation from -main