Just three minor fixes.