bigfix: oops! Forgot type checking for many-underscore-p. test passed