Found via RedHat bug 1174792. It was not clear whether these address a NULL dereference and a division by zero.