And yet another bugfix (2.1.12.310)