Fix docs type (thanks @zanker)