Fix a dirty copypasta