Fix code formatting introduced by PR #2333