more work on #1038
parameters can't have bodies