Remove a few extra pastef() calls