bug-fix release 0.5.1