Fix #532.