fix getPgmOptions bug
add comment for a hack