whitespace

Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>