Version updated to 0.12.4