Make (3) more readable