added note on module depsolving