Minor cosmetic codecleanings inside module.function.php