Instance spec cleanups.

The two deleted examples were deleted because they are redundant.