Be a bit less aggressive in mark-many inside a cast