Fix bad extslice typing

validation OK @ home