Fix silly errors in last commit