Last commit before the use of github bug-tracking things