minor (transient) nitpicks