Adds #402.

Resolves #387.