Added propper specs for list/1 functions.