Removed my last comment, because it was wrong.