some cleanups for an alloy project