version 1.5.3 is now public