bug in spec #3291