Fixed the PropEr tests for empty appends