Fix #523.