More fmal() fixes