Nitpicks fixed, as requested.