Changes suggested by Proxima that I forgot