Fixes #<GITHUB_ISSUE_NUMBER>.

_Make sure all boxes are checked (add x inside the brackets) when you submit your contribution, remove this sentence before doing so._

- [ ] This PR is for the `dev` branch rather than for the `release` branch.
- [ ] This PR is compliant with the [other contributing guidelines](/CONTRIBUTING.md) as well (if not, please describe why).
- [ ] I have thoroughly tested my contribution.
- [ ] The code changes are reflected in the documentation at `docs/*`.

_To be completed below: Description of and rationale behind this PR._