Bumped version number (next devel.)