Fix silly bug i must have introduced years ago