Correct unused code for sake of completeness