Fix arguments for #18