Fix #388.