Note awkward Python bug we're working around.