Fix typo (even though this is likely going to change anyway).