I know this is really a detail, but I think we should either use double quotes or single quotes as doc string delimiters. As we normally use double quotes I would suggest the same here.