Minor problems in key filter documentation