Fix Array.append with an empty array

Fix #647