New specs for potential marking bug