Fix a little bug in 9703d3f3fee9c269b0a75555fdb6b3122611e8a5