docs after dmd#4