I presume this is going to be removed when the other PR materializes.. Is this comment, merely a place holder?