Fix bug#10328.

This PR fixes bug#10328.