If anybody wonders what 'irony' means, this is it.