Manual: fix formatting