some patches

This is unnecessary.