Delete cruft accidentally added in previous commit