Needed for #24.
Needed for #24.