Simplification in dbinom expression.