Forgotten fix after merging.