Fix a silly error in last commit