fix #4805

this was (predictably) a type intersection problem; apparently an earlier
fix of mine was rendered incorrect and unnecessary by some later work.