Version 0.5.3.

on our standard *benchmarks*?