avoid duplicate #tools id

introduced in #194