This line isn't necessary; see below.