isRed and isBlack added. Other syntactical changes made.