Some nitpicks and proposals