HOPKINS: Fix code formatting