[drmaa-wg] Cosmetic changes