JuliaLang/julia — pull request #3011 by VHaravy (2013-05-04 02:31:18+00:00)
Title: Fix issues #3005 and #3009.

Fixes issue #3009 introduced by my previous pull request and issue #3005 introduced by commit 467d8137d.