The bug is fixed. Why is this workaround here then ?