he was replaced by john allen