[dox] fix missing tilde