On Tuesday, 22 April 2014 at 15:19:55 UTC, Andre wrote: > Is the cast really needed? It's a known issue and a filed bug report. I don't have the Issue number at hand though, someone else will likely provide it.