Miscellaneous

by @jms

jms