other fixes

[none]