Remove a couple of errors in documentation from copied headers