PR #392

PR #392 is not in the merge queue.