[dev-context] interesting bug in \type ;)