Alan's changes

Somehow I managed to delete these…