On 05/05/2017 09:42 AM, octachron wrote:
(* module type names do not need to start with a capital *)

I didn't know that!

Thanks,
Andre