Some short improvements