Fix arguments of check10