We have updated the 'source' command in minbashmaxfun to print one additional line.

This is just for information purposes, nothing else inside the shell has changed.