Add [@name] attribute (fixes #5).