Cleaned up the interface a bit to have the sats file pass type checking.