Remove unnecessary empty()

See issue #1101