A simple fix for bug #4378

Signed-off-by: Edward Cheng &lt;c4150221@gmail.com>