remove unused manager header (issue #5438)