bug fixes; looser module spec