Manual: fix formatting problems in previous commit