fixed a reported bug