Skip to content

Better typing

Better typing #875