minor fix
updated to 4.12.19