RM: bumped version number
RM: forgot to save a file