fixed a curious mistake