Minor cleanups

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>
Section on lattice width

Signed-off-by: Nicolai Hähnle <haehnle@or.uni-bonn.de>