Fix #451.