Fix #317.