Fixes #388.