Fix #18: variable padding.