Document a bug found in the Roslyn CTP