The universe has fixed the bug ;)