Should this be removed now, as the bug has been fixed?