fix by comment #7