Removed EOL whitespace
Fixed binomial
Fixed combsimp
Minor change to test