minor updates
add release 4.2.5