This new patch: * Removes accidentally introduced blank line. * Improves commit message.