List of things we should do when (if) we have time:

1)	bugfixes
