ooops, leftover debugging code :)