release 5.1 (Manhattan)
