after-last-minute nits
JWK for romeo