Editorial fixes to requirement document