Fixes for @huonw