Making hsdoc happy