Bumping to version 4.2