Cope better with dots in plugin names