Fix #563.

Fix #563.