adding final-module spec