Version 0.25.3 finalized