Can we get rid of these double empty lines?