JuliaLang/julia — pull request #5159 by mschauer (2013-12-15 22:53:10+00:00)
Title: Fix #5157.

Fix, if my assessment is correct.