Fixing some previously wrong tests for the insertion annotation builder.