Fix silly oversight