Doc fixes related to face heights. (Bug#2659)