Cas: minor edits