Version 0.25.1 finalized