Workaround for Jedi bug.