release v0.4.2

this realse just fixes type errors in the help options