fixed bug per #70
restored example 25