fixed a nasty bug (!) in #all