correct (jda-mark-push-marker-menu)

* did not work (jda-mark-push-marker-menu). the following error
  message was displayed:

"Wrong type argument: commandp, jda-mark-push-marker-menu"