[fixes #1] a