Fix reflection warning in `body'