fixing restdoclet