Minor edits to 5.24