Correcting typo introduced in earlier changes