Fix an error, spotted and fixed by kanetaka