Fix spacing in ADT

Signed-off-by: Alexander Berntsen <alexander@plaimi.net>