Fix bug (noticed by Eelco)