Inserted Karl's edits