Latest dev version commited; had to hard-copy