This no longer fails, so please remove the comment.