[ Agda ] Agda's issue 1342 was fixed
Fixed whitespace issue
[ Apia ] Reported issue 15