fixed a simple bug; oops