Correcting an obviously typoed declaration