Minor notes, tweaks