Renamed man page so man mal4s will work.