wrong (but harmless) initialization corrected