Peter Aczel's changes