I'd actually meant setting your plugin ID to 10001, but I think you're probably close enough to merging that it doesn't matter.