ada: Fix incorrect quoting in documentation