Mircea: Yet another small tweak