Edit fixing things noticed post-publication